14th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2001 Ottawa, Canada, June 7–9, 2001 Proceedings
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Search Techniques for Non-Linear Constraint Satisfaction Problems with Inequalities > 183-193